Deduction Rules: Modus Ponens And Modul Tollens